“机载软件”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果221617个，建议您升级VIP下载更多相关专利

[发明专利]一种用于机载软硬件匹配性加载系统实现的方法-CN201910766650.X在审
发明人：韩志芳;石新景;俞晓波;姜佳璐;雷华欢 -专利权人：上海航空工业(集团)有限公司
申请日： 2019-08-20 - 公布日： 2019-11-22 - 主分类号： G06F9/445 文献下载
摘要：本发明公开一种实现机载软硬件匹配性加载的方法，其包括如下步骤：创建机载设备系统视图构型项、机载设备系统设计模块以及机载设备关联对象；创建机载软件系统视图构型项、机载软件系统设计模块以及机载软件关联对象，关联机载设备系统视图构型项和机载软件系统视图构型项；将机载设备系统视图构型项、机载软件系统视图构型项挂接到预设系统视图顶层结构节点上。本发明通过创建机载设备系统视图构型项、机载设备系统设计模块、机载设备关联对象、机载软件系统视图构型项、机载软件系统设计模块以及机载软件关联对象，关联机载设备系统视图构型项和机载软件系统视图构型项的方式，筛选出可用于加载的机载软件系统设计模块，提高了加载效率。
机载软件系统视图机载设备构型系统设计关联对象加载创建关联结构节点预设系统匹配性软硬件顶层可用筛选

[发明专利]一种面向云存储的机载软件持有性证明方法-CN202310245756.1有效
发明人：岳猛;洪雪婷 -专利权人：中国民航大学
申请日： 2023-03-15 - 公布日： 2023-05-23 - 主分类号： H04L67/1097 文献下载
摘要：本发明提供了一种面向云存储的机载软件持有性证明方法，包括搭建Cloud‑P2P云存储架构，在Cloud‑P2P云存储架构上进行机载软件共享；提取机载软件配置信息；根据机载软件配置信息生成IPK公钥；对机载软件进行预处理，划分机载软件；设计数据持有性证明协议，进行数据持有性证明。本发明公开的一种面向云存储的机载软件持有性证明方法，可以在云存储的基础上，结合P2P技术，构建适用于机载软件的Cloud‑P2P云存储架构，实现机载软件的去中心化云存储以及机载软件的共享，减轻了航电系统在物理上的存储压力，提高了机载软件的使用效率。
一种面向存储机载软件有性证明方法

[发明专利]一种飞机机载软件变更控制方法-CN202011513218.9在审
发明人：徐思强;罗小琦;王健;李荣强;郭科志;李晓曦 -专利权人：中国航空工业集团公司成都飞机设计研究所
申请日： 2020-12-17 - 公布日： 2021-03-23 - 主分类号： G06F8/65 文献下载
摘要：本发明属于飞机机载软件变更控制领域，具体涉及一种飞机机载软件变更控制方法。所述变更控制方法包括：在当前软件清册中查找需要变更的机载软件；指定需要变更的机载软件的SCM版本号和架次有效性；对需要变更的机载软件，结合SCM版本号和有效性，进行变更计算；根据变更计算结果，对软件CI本发明减少了机载软件有效性管理的复杂度，解决了机载软件数量庞大、变更频繁而造成技术状态难以管理的问题。同时，保证机载软件构型状态的一致性、可靠性、完整性和可追踪性，满足机载软件的技术状态管理要求。
一种飞机机载软件变更控制方法

[发明专利]一种基于ARINC653的机载嵌入式软件虚拟总线通信构建方法-CN201811322049.3有效
发明人：刘祎理;谢前国;高向征;邢蔚明;丁争;陈冉;魏磊 -专利权人：中国航空工业集团公司洛阳电光设备研究所
申请日： 2018-11-08 - 公布日： 2022-03-15 - 主分类号： G06F11/26 文献下载
摘要：本发明提供了一种基于ARINC653的机载嵌入式软件虚拟总线通信构建方法，使用硬件建模语言构建虚拟总线通信模块，将机载嵌入式软件所要求的虚拟总线模块与虚拟运行环境集成，形成虚拟运行环境，构建虚拟通信总线驱动和构建动态管理分区，建立伪分区通信端口与动态管理分区通信端口的关联以及动态管理分区通信端口与机载嵌入式软件所在分区通信端口的关联，编译机载嵌入式软件和操作系统，形成目标文件。实现了机载嵌入式软件在虚拟环境下与外部的通信，减少不同环境下通信总线的差异对机载嵌入式软件的影响，为机载嵌入式软件研发摆脱对硬件环境的依赖提供基础，为机载嵌入式软件的仿真、测试提供了基础，促进了机载嵌入式软件的研发效率
一种基于 arinc653 机载嵌入式软件虚拟总线通信构建方法

[发明专利]机载应用软件数字化开发验证系统-CN202211626015.X在审
发明人：王佳明;刘水桥;郝玉锴;雷煜靓;史雷思;张彤 -专利权人：中国航空工业集团公司西安航空计算技术研究所
申请日： 2022-12-15 - 公布日： 2023-05-09 - 主分类号： G06F13/42 文献下载
摘要：本公开实施例中提供了一种机载应用软件数字化开发验证系统，属于嵌入式软件领域。包括机载ICD数据激励与显示模块、分布式机载仿真总线通信模块、机载653分区应用运行仿真模块。该发明主要针对机载嵌入式应用的开发验证与测试，在编码阶段基于桌面操作系统实现机载653分区应用的数字化开发、调试与运行，在测试验证阶段，模拟机载设备状态通过数字化方式进行ICD数据激励，进而开展机载场景的测试验证本发明设计机载应用软件数字化开发验证系统，解耦机载软件与硬件开发过程，解决无真实机载硬件条件下的机载应用开发与测试验证问题，大幅度提前应用软件研制的时间，缩短软件开发周期，提高产品的质量。
机载应用软件数字化开发验证系统

[发明专利]分区操作系统环境下机载软件组件中间件的设计方法-CN202210137570.X在审
发明人：侯媛媛;彭寒;刘舟洲 -专利权人：西安航空学院
申请日： 2022-02-15 - 公布日： 2022-06-10 - 主分类号： G06F8/20 文献下载
摘要：本发明涉及分区操作系统环境下机载软件组件中间件的设计方法，具体实施步骤为：分区操作系统环境下机载软件共性流程抽取、分区操作系统环境下机载软件通用接口设计、分区操作系统环境下机载软件通用组件模型设计、分区操作系统环境下机载软件组件框架设计利用上述步骤，完成分区操作系统环境下机载软件通用组件模型和机载组件框架的设计，通过”组件+框架”的方法建立一个能够适用于分区操作系统环境下机载软件开发的应用程序开发框架，以支持数据的输入，数据的交互，数据的计算
分区操作系统环境机载软件组件中间件设计方法

[发明专利]基于软件全生命周期的航空机载软件质量评价方法-CN202211248790.6在审
发明人：封二强;马力;张优优;蔡玉华;孙乾;曹洪明;徐晖;初振华 -专利权人：中国航空综合技术研究所
申请日： 2022-10-12 - 公布日： 2023-01-17 - 主分类号： G06Q10/0639 文献下载
摘要：本发明提供一种基于软件全生命周期的航空机载软件质量评价方法，其包括以下步骤：S1、建立航空机载软件研制过程评价模型；S2、建立航空机载软件产品评价模型；S3、确定度量元指标选取原则；S4、度量元数据采集；S5、航空机载软件质量评价计算，根据步骤分别计算各级指标值，完成软件质量评价。本发明提出了一种基于软件全生命周期的航空机载软件质量评价方法，其针对现有航空机载软件质量评价时度量元数据不易获取的不足，分析现有软件质量评价度量元的基础上，提出工程可实施、数据易收集的度量元指标。并且在收集度量元指标的基础上，能够充分融合航空机载软件研制过程评价和软件产品评价两个方面的影响因素，从而实现软件全生命周期评价。
基于软件生命周期航空机载质量评价方法

[发明专利]一种机载系统软件缺陷分类方法-CN202111332820.7在审
发明人：殷永峰;李海峰;刘畅;宿庆冉;王轶辰 -专利权人：北京航空航天大学
申请日： 2021-11-11 - 公布日： 2022-02-25 - 主分类号： G06F16/36 文献下载
摘要：本发明提供一种机载系统软件缺陷的智能分类方法，提出面向航空领域的分词字典，实现对机载软件的准确分词；然后，提出融入机载软件需求特征的改进LDA主题模型，获取以功能名称、接口名称等需求为导向的隐含主题，提升LDA模型的主题获取准确率；紧接着，基于所获得主题模型，可以很好地符合机载软件缺陷数据的复杂领域特征与失效规律，最终实现对机载软件缺陷数据进行准确地分类与预测，进而提升机载软件测试设计工作的效率和质量。
一种机载系统软件缺陷分类方法

[发明专利]一种机载设备任务监控系统及方法-CN202010490008.6在审
发明人：何智权;赵羚钧 -专利权人：中电科航空电子有限公司
申请日： 2020-06-02 - 公布日： 2020-09-11 - 主分类号： G06F11/30 文献下载
摘要：本发明公开了一种机载设备任务监控系统及方法，包括机载设备软件任务子系统、CPLD逻辑器件，机载设备软件任务子系统双向通信连接CPLD逻辑器件，机载设备软件任务子系统向CPLD逻辑器件配置及注册软件任务的相关参数；CPLD逻辑器件，获取机载设备软件任务子系统配置的被监控软件任务的相关参数，并记录在自身开辟的监控任务记录表；根据机载设备软件任务在监控周期内的实际运行情况进行统计与分析，对监控任务记录表中的逐个记录进行检测，判断是否存在实际运行次数未达到运行次数门限；如果不存在，则清零ci，重启监控周期；如果存在，则判断机载设备软件任务异常，并控制输出复位信号，重启机载设备。
一种机载设备任务监控系统方法

[发明专利]一种基于应用层地址的机载软件寻址方法-CN202310665622.5在审
发明人：苟江;范昱琪;雷智华 -专利权人：中国电子科技集团公司第十研究所
申请日： 2023-06-06 - 公布日： 2023-08-29 - 主分类号： H04L61/09 文献下载
摘要：本发明提供了一种基于应用层地址的机载软件寻址方法，通过机载ANS服务器节点与地面ANS服务器节点建立偶联关系，机载/地面应用软件对应与机载/地面代理节点建立绑定关系，在机载/地面应用软件发起数据传输请求时，机载/地面代理节点发起应用层地址解析请求，再由机载/地面ANS服务器节点完成解析，将目的端应用软件路由信息反馈至机载/地面应用软件，机载/地面应用软件进行数据传输。本发明通过应用层地址命名机制，隐藏了双方物理位置信息，提升了交互的安全性；同时基于应用层地址的寻址机制、动态注册及系统同步机制，解决了变化场景所引起的机载网络规划更新的问题，实现随时随地接入、即插即用需求
一种基于应用地址机载软件寻址方法

[发明专利]机载北斗系统及其应用方法-CN201911356512.0有效
发明人：李惟惟;谢永锋;马俊康;吴飞;胡俊 -专利权人：中电科航空电子有限公司
申请日： 2019-12-25 - 公布日： 2022-03-01 - 主分类号： H04B7/185 文献下载
摘要：本发明提供了一种机载北斗系统及其应用方法，其中机载北斗系统包括：集成北斗导航通信子系统的北斗应用软件模块和北斗协议栈软件模块的机载通信导航监视系统；与所述机载通信导航监视系统相连的北斗收发机；与所述北斗收发机相连的北斗服务器本发明可以在机载通信导航监视系统中集成北斗导航通信子系统的北斗应用软件模块和北斗协议栈软件模块，以便机载通信导航监视系统通过北斗应用软件模块和北斗协议栈软件模块，与北斗收发机和北斗服务器进行数据交互，从而实现航空领域中机载通信导航监视自主化的目的
机载北斗系统及其应用方法

[发明专利]一种机载软件形式化验证方法-CN202210130444.1在审
发明人：黄滟鸿;杨洋;史建琦;蔡方达;郭欣 -专利权人：华东师范大学
申请日： 2022-02-11 - 公布日： 2022-07-08 - 主分类号： G06F9/445 文献下载
摘要：本发明公开了一种机载软件形式化验证方法，方法包括：对机载软件的需求与设计阶段进行验证，生成初始验证结果；对机载软件的源代码阶段进行验证，生成源代码验证结果；对机载软件的可执行目标代码阶段进行验证，生成目标代码验证结果；当初始验证结果、源代码验证结果以及目标代码验证结果全部符合预设数值时，确定机载软件验证通过。因此，采用本申请实施例，由于本申请将机载软件的验证活动分为需求与设计、源代码和可执行目标代码三个阶段，并针对每个阶段的验证活动，结合DO‑333中定义的验证目标，提出了形式化分析与验证的方法论进行验证，从而提升了机载软件的安全性。
一种机载软件形式化验证方法

[发明专利]机载设备的软件加载控制方法及系统-CN202111263113.7有效
发明人：于庆敏;左振雷 -专利权人：中国航发控制系统研究所
申请日： 2021-10-28 - 公布日： 2023-05-23 - 主分类号： G06F9/445 文献下载
摘要：本发明公开了一种机载设备的软件加载控制方法及系统，其中方法包括：S1：根据数据库中的信息生成包含机载设备信息的标签X并固定在机载设备上；S2：生成包含机载设备内部当前加载的软件的信息的标签Y并固定在机载设备上；S3：生成包含存储介质中存储的软件的信息的标签Z；S4，加载软件时，读取机载设备上的标签X、标签Y及存储介质对应的标签Z中的信息，根据信息判断存储介质中的软件是否可以加载到机载设备中，若不能加载则终止操作；S5：若可以加载则向机载设备中加载对应存储介质中的软件，并更新机载设备上的标签Y；S6：更新数据库中的机载设备的信息。
机载设备软件加载控制方法系统

[发明专利]基于优化K归纳的机载控制软件形式化验证方法-CN202310274550.1在审
发明人：孙聪;孙一博;马建峰 -专利权人：西安电子科技大学
申请日： 2023-03-20 - 公布日： 2023-07-04 - 主分类号： G06F21/57 文献下载
摘要：本发明公开了一种基于优化K归纳的机载控制软件形式化验证方法，实现步骤是，构建包括顺次连接的编译期特性代码剥离建模单元、传感器输入数据赋值单元、数据流依赖的形式参数消除单元和函数提取单元的抽象建模模块，并通过抽象建模模块构建机载控制软件源代码的模型函数，将机载控制软件建模为模型函数集，通过优化传统K归纳算法，并基于优化K归纳算法获取机载控制软件形式化验证结果。本发明可用于对机载控制软件进行安全性形式化验证，由此提高了机载控制软件的安全性。
基于优化归纳机载控制软件形式化验证方法

[发明专利]航空机载软件测试质量评价方法-CN201810253824.8在审
发明人：刘涛;李娜;孙肖 -专利权人：西南电子技术研究所（中国电子科技集团公司第十研究所）
申请日： 2018-03-26 - 公布日： 2018-09-21 - 主分类号： G06F11/36 文献下载
摘要：本发明提出的一种航空机载软件软件测试质量评价方法，旨在提供一种能够降低技术保障成本，全生存周期软件评价度量方法，本发明通过下述技术方案予以实现：根据航空机载软件研制全生存周期，将软件研制过程测试、三方测评、定型/鉴定测评和用户使用纳入度量模型，创建包括阶段层、活动层和度量元层的航空机载软件测试质量模型，并将航空机载软件测试项目中的典型缺陷和可复用测试用例组织资产贡献度纳入度量元体系；在航空机载软件测试质量模型中，对执行预期功能所需的最小数据集合的全部要求进行定义，确定每个度量元的权重系数，收集测试阶段各度量元数值，计算出航空机载软件测试质量评价值T，比较T值与测评机构测量库的基准值，确定质量优劣。
航空机载软件测试度量测评软件研制生存周期质量模型质量评价最小数据集合测试阶段典型缺陷过程测试技术保障权重系数软件评价用户使用贡献度活动层可复用定型测量测试创建资产

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
下一页»
尾页
共 100000 条